Stack machine

Results: 145



#Item
41On the Difficulty of Validating Voting Machine Software with Software∗ Ryan Gardner†   Sujata Garera†

On the Difficulty of Validating Voting Machine Software with Software∗ Ryan Gardner† Sujata Garera†

Add to Reading List

Source URL: accurate-voting.org

Language: English - Date: 2013-06-05 15:32:08
42A FPGA based Forth microprocessor P. H. W. Leong, P. K. Tsang and T. K. Lee Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin, N.T. Hong Kong Systems which employ a microprocessor

A FPGA based Forth microprocessor P. H. W. Leong, P. K. Tsang and T. K. Lee Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin, N.T. Hong Kong Systems which employ a microprocessor

Add to Reading List

Source URL: home.claranet.nl

Language: English - Date: 2008-07-18 17:49:45
43Defeating the Stack Based Buffer Overflow Prevention Mechanism of Microsoft Windows 2003 Server. David Litchfield () 8th September 2003

Defeating the Stack Based Buffer Overflow Prevention Mechanism of Microsoft Windows 2003 Server. David Litchfield () 8th September 2003

Add to Reading List

Source URL: www.blackhat.com

Language: English - Date: 2014-12-16 19:06:30
44Faculty of Engineering and Natural Sciences Fast Profiling in the HotSpot Java VM with Incremental Stack Tracing and Partial Safepoints

Faculty of Engineering and Natural Sciences Fast Profiling in the HotSpot Java VM with Incremental Stack Tracing and Partial Safepoints

Add to Reading List

Source URL: mevss.jku.at

Language: English - Date: 2015-01-09 06:22:09
45EP32 - a 32-bit Foth Micorprocessor

EP32 - a 32-bit Foth Micorprocessor

Add to Reading List

Source URL: home.claranet.nl

Language: English - Date: 2008-07-18 17:49:57
46A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism? Amadeo Casas1 Manuel Carro2 Manuel V. Hermenegildo1,2

A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism? Amadeo Casas1 Manuel Carro2 Manuel V. Hermenegildo1,2

Add to Reading List

Source URL: www.clip.dia.fi.upm.es

Language: English - Date: 2008-09-15 22:48:05
47A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism? Amadeo Casas1 Manuel Carro2 Manuel V. Hermenegildo1,2

A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism? Amadeo Casas1 Manuel Carro2 Manuel V. Hermenegildo1,2

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2008-09-15 22:48:05
48Safe and Secure Software An Invitation to Ada

Safe and Secure Software An Invitation to Ada

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2012-03-22 11:52:17
49Using reaching-defs and type-flow analyses to obtain three-address code in the Scala compiler c Miguel Garcia, LAMP, ´ Ecole

Using reaching-defs and type-flow analyses to obtain three-address code in the Scala compiler c Miguel Garcia, LAMP, ´ Ecole

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2010-04-25 05:49:42
50OAMulator: A Teaching Resource to Introduce Computer Architecture Concepts FILIPPO MENCZER and ALBERTO MARIA SEGRE The University of Iowa  The OAMulator is a Web-based resource to support the teaching of instruction set

OAMulator: A Teaching Resource to Introduce Computer Architecture Concepts FILIPPO MENCZER and ALBERTO MARIA SEGRE The University of Iowa The OAMulator is a Web-based resource to support the teaching of instruction set

Add to Reading List

Source URL: carl.cs.indiana.edu

Language: English - Date: 2014-09-06 23:26:54